1. The incomputable : journeys beyond the Turing barrier
پدیدآورنده: S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)